一类安全性苛求软件非规则测试案例自动生成技术

目前,铁路车站计算机联锁软件测试平台包含自动测试和人工测试.人工测试案例是一些复杂的非规则的案例,这部分案例由于难以自动生成而至今没有纳入自动化测试.在对这部分案例进行分析基础上,通过一系列定义,用抽象的脚本语言对其进行描述,并给出脚本的案例还原算法,从而使其能够自动生成.     

一种装甲装备摩托小时梯次储备的生成与控制方法

针对成建制列装新装备部队如何使教练车形成规定的摩托小时梯次储备并尽早产生送中修装备问题,运用改进的模拟退火算法辅助制定年度装备使用送修计划,构造了以重点用车、一般用车、控制用车平均摩托小时储备为自变量的目标函数,用以量化表示教练车形成摩托小时梯次储备的程度,通过对任务分配的不断调整,找出使目标函数值最大的解,得到最优的使用送修计划安排,并利用Matlab软件在算法上实现了这一过程。     

面向复杂几何模型的多级并行四面体网格生成算法

高性能计算机的快速发展为数值模拟提供了必需的硬件环境,数值模拟领域对网格的需求已高达数十亿到数百亿量级,而网格生成作为数值模拟的重要一环,其发展则相对滞后,很难满足并行数值模拟求解器对大规模网格的需求。本文面向复杂几何模型提出一种多级并行四面体网格生成算法,该算法首先基于模型的几何特征建立网格的尺寸场,并基于尺寸场和几何实体间的邻接关系对几何实体进行分组,将分组后的几何实体分配到不同的计算节点,在计算节点间采用前沿推进法实现三角形面网格的并行生成,然后在计算节点内对三角形面网格进行二级区域分解,将分解后的子网格分配到各进程中,最后在进程内采用多线程并行方法实现四面体网格的并行生成。通过实际应用三峡大坝模型进行验证,该算法具有良好的并行效率和可扩展性,可以在数千处理器核上实现十亿规模高质量四面体网格的并行生成。     

计数序贯抽样检验方案的OC函数和ASN

根据序贯概率比检验的理论,给出计数序贯抽样检验方案的设计原理,得到国家标准GB／T8051—2008中计数序贯抽样检验方案的OC函数和ASN的计算方法。     

基于战斗力生成模式转变的合成营战术训练探要

推动训练向基于信息系统训练模式转变,是当前开展信息化条件下训练亟待解决的问题.文章从训练理念、训练设计、训练组织和训练考评等方面进行了探讨,以积极稳妥推进合成营战术训练深入发展,实现作战能力整体跃升.     

基于改进SLP的军事物流基地设施平面布局研究

由于传统SLP方法的不足,在解决设施较多的军事物流基地布局问题上面临较大困难。为解决此问题,提出了改进SLP方法,以军事物流基地设施间综合相互关系为基础,构建平面布局模型,并确定目标函数和主要约束条件。随后对模型的求解进行遗传算法设计,并运用Matlab编程实现模型的求解,从而得出平面布局的最优解。最后以最优解为基础,结合限制条件进行修正,完成军事物流基地设施平面布局设计。     

漂浮式微型波力发电装置传动系统的速度分析与调节

针对边防驻岛官兵用电难的问题,结合海洋波浪能特点,提出了一种新型漂浮式微型波力发电装置。基于装置结构模型,分析了其结构特征和工作原理;建立了传动系统的运动学模型,分析了其运动特性和速度调节性能;进行算例分析,验证了理论模型的正确性。研究表明：双侧传动轮系输入系统优于单侧传动轮系输入系统;改变飞轮的转动惯量,可以调节速度的波动。分析结果为该装置的后续试验研究提供了理论依据。     

具有不完全信息语言多指标电子对抗计划优选方法

针对指标权重信息不完全且指标值为语言评价信息的电子对抗行动计划优选问题,给出了一种新的决策分析方法。首先建立并规范化了电子对抗行动计划的评价指标;其次给出了计划的优选步骤,其核心是通过计算理想点与计划值的距离、建立线性规划模型,确定指标权重;将语言评价信息转化为三角模糊数,相应地建立可能度,进而获得计划的综合评价值。最后通过算例分析说明了该方法的合理性和有效性。     

Cyclic preference scheduling for nurses using branch and price

This paper presents a new methodology to solve the cyclic preference scheduling problem for hourly workers. The focus is on nurse rostering but is applicable to any organization in which the midterm scheduling decision must take into account a complex of legal, institutional, and preferential constraints. The objective is to strike a balance between satisfying individual preferences and minimizing personnel costs. The common practice is to consider each planning period independently and to generate new rosters at the beginning of each. To reduce some of the instability in the process, there is a growing trend toward cyclic schedules, which are easier to manage and are generally perceived to be more equitable. To address this problem, a new integer programming model is presented that combines the elements of both cyclic and preference scheduling. To find solutions, a branch‐and‐price algorithm is developed that makes use of several branching rules and an extremely effective rounding heuristic. A unique feature of the formulation is that the master problem contains integer rather than binary variables. Computational results are reported for problem instances with up to 200 nurses. Most were solved within 10 minutes and many within 3 minutes when a double aggregation approach was applicable. © 2006 Wiley Periodicals, Inc. Naval Research Logistics, 2007.     

陆军武器装备需求生成程序研究

借鉴美军"联合能力集成与开发系统"的分析流程,以"面向任务、基于能力"的需求牵引观为指导,研究提出我陆军武器装备需求生成程序,确定了每一环节的具体任务和要求,对完善陆军武器装备需求生成机制和需求的统一论证具有一定的现实和理论意义。